RALF KÜSTERS: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Principles of Security and Trust Volume 10804 || A Semantic Framework for the Security Analysis of Ethereum Smart Contracts

Bauer, Lujo, Küsters, Ralf

Year:

2018

Language:

english

File:

PDF, 748 KB

english, 2018

2

[IEEE 2017 IEEE 30th Computer Security Foundations Symposium (CSF) - Santa Barbara, CA, USA (2017.8.21-2017.8.25)] 2017 IEEE 30th Computer Security Foundations Symposium (CSF) - The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines

Fett, Daniel, Kusters, Ralf, Schmitz, Guido

Year:

2017

Language:

english

File:

PDF, 251 KB

english, 2017

3

[Lecture Notes in Computer Science] Principles of Security and Trust Volume 10804 || Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts

Bauer, Lujo, Küsters, Ralf

Year:

2018

Language:

english

File:

PDF, 656 KB

english, 2018

4

[Lecture Notes in Computer Science] Principles of Security and Trust Volume 10804 || SoK: Unraveling Bitcoin Smart Contracts

Bauer, Lujo, Küsters, Ralf

Year:

2018

Language:

english

File:

PDF, 982 KB

english, 2018

5

Deciding strategy properties of contract-signing protocols

Kähler, Detlef, Küsters, Ralf, Wilke, Thomas

Journal:

ACM Transactions on Computational Logic

Year:

2010

Language:

english

File:

PDF, 524 KB

english, 2010

6

Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption

Chevalier, Yannick, Küsters, Ralf, Rusinowitch, Michaël, Turuani, Mathieu

Journal:

ACM Transactions on Computational Logic

Year:

2008

Language:

english

File:

PDF, 438 KB

english, 2008

7

[IEEE 2016 IEEE Southwest Symposium on Image Analysis and Interpretation (SSIAI) - Santa Fe, NM, USA (2016.3.6-2016.3.8)] 2016 IEEE Southwest Symposium on Image Analysis and Interpretation (SSIAI) - Adaptive application of spatial filters on raw CT images

Patel, Nisarg, Schneider, Ralf, Kuster, Uwe

Year:

2016

Language:

english

File:

PDF, 1.68 MB

english, 2016

8

[Lecture Notes in Computer Science] Principles of Security and Trust Volume 10804 || The Meaning of Memory Safety

Bauer, Lujo, Küsters, Ralf

Year:

2018

Language:

english

File:

PDF, 953 KB

english, 2018

9

[Lecture Notes in Computer Science] Electronic Voting Volume 11759 (4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings) ||

Krimmer, Robert, Volkamer, Melanie, Cortier, Veronique, Beckert, Bernhard, Küsters, Ralf, Serdült, Uwe, Duenas-Cid, David

Year:

2019

Language:

english

File:

PDF, 12.77 MB

english, 2019

10

Preparation and Structure of F3As–Au+SbF6–, the Structures of Au(CO)2+ and Au(PF3)2+

Ralf Küster, Konrad Seppelt

Journal:

Zeitschrift für anorganische und allgemeine Chemie

Year:

2000

Language:

english

File:

PDF, 104 KB

english, 2000

11

Deciding the Security of Protocols with Commuting Public Key Encryption

Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 259 KB

english, 2005

12

Preface

Juliana Küster-Filipe, Iman Poernomo, Ralf Reussner, Sandeep Shukla

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 59 KB

english, 2005

13

Preface

Juliana Küster Filipe Bowles, Iman Poernomo, Ralf Reussner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 100 KB

english, 2009

14

Tribological behaviour of thin a-C and a-C:H films with different topographic structure under rotating and oscillating motion for dry lubrication

Ralf Bandorf, Holger Lüthje, Cord Henke, Jan-Hinrich Sick, Rolf Küster

Journal:

Surface and Coatings Technology

Year:

2004

Language:

english

File:

PDF, 252 KB

english, 2004

15

Different carbon based thin films and their microtribological behaviour in MEMS applications

Ralf Bandorf, Holger Lüthje, Cord Henke, Jens Wiebe, Jan-Hinrich Sick, Rolf Küster

Journal:

Surface and Coatings Technology

Year:

2005

Language:

english

File:

PDF, 826 KB

english, 2005

16

An NP decision procedure for protocol insecurity with XOR

Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 362 KB

english, 2005

17

Mapping of a gene for epidermolytic palmoplantar keratoderma to the region of the acidic keratin gene cluster at 17q12–q21

André Reis, Wolfgang Küster, Ralf Eckardt, Karl Sperling

Journal:

Year:

1992

Language:

english

File:

PDF, 611 KB

english, 1992

18

Quantification of constitutive endothelial and inducible nitric oxide synthase mRNA by competitive reverse transcription-polymerase chain reaction

Jörg Bojunga, Ralf Kurek, Heiner Renneberg, Klaus Henning Usadel, Klaus Kusterer

Journal:

International Journal of Angiology

Year:

2001

Language:

english

File:

PDF, 792 KB

english, 2001

19

On the Relationships between Notions of

Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan

Journal:

Journal of Cryptology

Year:

2008

Language:

english

File:

PDF, 718 KB

english, 2008

20

On the decidability of cryptographic protocols with open-ended data structures

Journal:

International Journal of Information Security

Year:

2005

Language:

english

File:

PDF, 590 KB

english, 2005

21

Conditional reactive simulatability

Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters

Journal:

International Journal of Information Security

Year:

2008

Language:

english

File:

PDF, 409 KB

english, 2008

22

Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach

Ralf Küsters, Tomasz Truderung

Journal:

Journal of Automated Reasoning

Year:

2011

Language:

english

File:

PDF, 712 KB

english, 2011

23

Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions

Ralf Küsters, Ralf Molitor

Journal:

Year:

2005

Language:

english

File:

PDF, 402 KB

english, 2005

24

Preface

Juliana Küster-Filipe, Iman Poernomo, Ralf Reussner, Sandeep Shukla

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 66 KB

english, 2004

25

Leaf growth dynamics of two congener gymnosperm tree species reflect the heterogeneity of light intensities given in their natural ecological niche

I-LING LAI, HANNO SCHARR, ANDRES CHAVARRIA-KRAUSER, RALF KÜSTERS, JIUNN-TZONG WU, CHANG-HUNG CHOU, ULRICH SCHURR, ACHIM WALTER

Journal:

Plant, Cell & Environment

Year:

2005

Language:

english

File:

PDF, 542 KB

english, 2005

26

Transducer-based analysis of cryptographic protocols

Ralf Küsters, Thomas Wilke

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 435 KB

english, 2007

27

Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA ’06)

Pierpaolo Degano, Ralf Küsters, Luca Viganò, Steve Zdancewic

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 49 KB

english, 2008

28

Development and validation of a reliable internally standardized competitive RT–PCR without cloning steps

Jörg Bojunga, Ralf Kurek, Heiner Renneberg, Klaus Henning Usadel, Klaus Kusterer

Journal:

Technical Tips Online

Year:

1999

Language:

english

File:

PDF, 133 KB

english, 1999

29

Relations between extramitochondrial and intramitochondrial adenine nucleotide systems

Wolfgang Kunz, Ralf Bohnensack, Günter Böhme, Uwe Küster, Gerold Letko, Peter Schönfeld

Journal:

Archives of Biochemistry and Biophysics

Year:

1981

Language:

english

File:

PDF, 968 KB

english, 1981

30

Rate-controlling steps of oxidative phosphorylation in rat liver mitochondria. A synoptic approach of model and experiment

Ralf Bohnensack, Uwe Küster, Gerold Letko

Journal:

Biochimica et Biophysica Acta (BBA) - Bioenergetics

Year:

1982

Language:

english

File:

PDF, 633 KB

english, 1982

31

Response of a grassland ecosystem to air pollutants. IV. The chemical climate: Concentrations of relevant non-criteria pollutants (trace gases and aerosols)

Ralf Zimmerling, Ulrich Dämmgen, Alwin Küsters, Ludger Grünhage, Hans-Jürgen Jäger

Journal:

Environmental Pollution

Year:

1996

Language:

english

File:

PDF, 1.00 MB

english, 1996

32

Light acclimation of photosynthesis in three charophyte species

Anette Küster, Ralf Schaible, Hendrik Schubert

Journal:

Year:

2004

Language:

english

File:

PDF, 304 KB

english, 2004

33

Sex-specific light acclimation of Chara canescens (Charophyta)

Anette Küster, Ralf Schaible, Hendrik Schubert

Journal:

Year:

2005

Language:

english

File:

PDF, 255 KB

english, 2005

34

Holocene loess sedimentation along the Qilian Shan (China): significance for understanding the processes and timing of loess deposition

Yvonne Küster, Ralf Hetzel, Matthias Krbetschek, Mingxin Tao

Journal:

Quaternary Science Reviews

Year:

2006

Language:

english

File:

PDF, 457 KB

english, 2006

35

Decrease and Gain of Gene Expression Are Equally Discriminatory Markers for Prostate Carcinoma: A Gene Expression Analysis on Total and Microdissected Prostate Tissue

Thomas Ernst, Manfred Hergenhahn, Marc Kenzelmann, Clemens D. Cohen, Mahnaz Bonrouhi, Annette Weninger, Ralf Klären, Elisabeth F. Gröne, Manfred Wiesel, Christof Güdemann, Jens Küster, Winfried Schott

Journal:

The American Journal of Pathology

Year:

2002

Language:

english

File:

PDF, 808 KB

english, 2002

36

Interleukin-1 receptor antagonist and interleukin-6 for early diagnosis of neonatal sepsis 2 days before clinical manifestation

Helmut Küster, Michael Weiss, Andreas E Willeitner, Stefanie Detlefsen, Irmela Jeremias, Juraj Zbojan, Ralf Geiger, Gert Lipowsky, Georg Simbruner

Journal:

Year:

1998

Language:

english

File:

PDF, 66 KB

english, 1998

37

Light acclimation of the charophyte Lamprothamnium papulosum

Anette Küster, Ralf Schaible, Hendrik Schubert

Journal:

Year:

2000

Language:

english

File:

PDF, 158 KB

english, 2000

38

Macrophage migration inhibitory factor and development of type-1 diabetes in non-obese diabetic mice

Jörg Bojunga, Klaus Kusterer, Michael Bacher, Ralf Kurek, Klaus-Henning Usadel, Heiner Renneberg

Journal:

Year:

2003

Language:

english

File:

PDF, 534 KB

english, 2003

39

Recognition of Pneumococcal Peptidoglycan: An Expanded, Pivotal Role for LPS Binding Protein

Joerg R Weber, Dorette Freyer, Christian Alexander, Nicolas W.J Schröder, Anja Reiss, Carsten Küster, Dagmar Pfeil, Elaine I Tuomanen, Ralf R Schumann

Journal:

Year:

2003

Language:

english

File:

PDF, 318 KB

english, 2003

40

Comparison between numerical and experimental near-field evaluation of a DCS1800 mobile telephone

Bahr, Achim, Pan, Sheng-Gen, Beck, Thomas, Kästle, Ralf, Schmid, Thomas, Kuster, Niels

Journal:

Year:

1998

Language:

english

File:

PDF, 1.33 MB

english, 1998

41

The Trifluorophosphonium Ion, PF 3 H + , Preparation and Structure

Küster, Ralf, Drews, Thomas, Seppelt, Konrad

Journal:

Inorganic Chemistry

Year:

2000

Language:

english

File:

PDF, 38 KB

english, 2000

42

[IEEE 2009 22nd IEEE Computer Security Foundations Symposium (CSF) - Port Jefferson, NY, USA (2009.07.8-2009.07.10)] 2009 22nd IEEE Computer Security Foundations Symposium - Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation

Küsters, Ralf, Truderung, Tomasz

Year:

2009

Language:

english

File:

PDF, 339 KB

english, 2009

43

[IEEE 2009 22nd IEEE Computer Security Foundations Symposium (CSF) - Port Jefferson, NY, USA (2009.07.8-2009.07.10)] 2009 22nd IEEE Computer Security Foundations Symposium - Universally Composable Symmetric Encryption

Küsters, Ralf, Tuengerthal, Max

Year:

2009

Language:

english

File:

PDF, 341 KB

english, 2009

44

[IEEE 2010 IEEE 23rd Computer Security Foundations Symposium (CSF) - Edinburgh, United Kingdom (2010.07.17-2010.07.19)] 2010 23rd IEEE Computer Security Foundations Symposium - A Game-Based Definition of Coercion-Resistance and Its Applications

Küsters, Ralf, Truderung, Tomasz, Vogt, Andreas

Year:

2010

Language:

english

File:

PDF, 332 KB

english, 2010

45

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Infinite State AMC-Model Checking for Cryptographic Protocols

Kahler, Detlef, Kusters, Ralf, Truderung, Tomasz

Year:

2007

Language:

english

File:

PDF, 191 KB

english, 2007

46

[IEEE 2008 21st IEEE Computer Security Foundations Symposium - Pittsburgh, PA, USA (2008.06.23-2008.06.25)] 2008 21st IEEE Computer Security Foundations Symposium - Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation

Küsters, Ralf, Tuengerthal, Max

Year:

2008

Language:

english

File:

PDF, 519 KB

english, 2008

47

[IEEE 2012 IEEE Symposium on Security and Privacy (SP) Conference dates subject to change - San Francisco, CA, USA (2012.05.20-2012.05.23)] 2012 IEEE Symposium on Security and Privacy - Clash Attacks on the Verifiability of E-Voting Systems

Kusters, Ralf, Truderung, Tomasz, Vogt, Andreas

Year:

2012

Language:

english

File:

PDF, 281 KB

english, 2012

48

[IEEE 2014 IEEE Symposium on Security and Privacy (SP) - San Jose, CA (2014.5.18-2014.5.21)] 2014 IEEE Symposium on Security and Privacy - An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System

Fett, Daniel, Kusters, Ralf, Schmitz, Guido

Year:

2014

Language:

english

File:

PDF, 334 KB

english, 2014

49

Security in e-voting

Küsters, Ralf, Truderung, Tomasz

Journal:

it - Information Technology

Year:

2014

Language:

english

File:

PDF, 909 KB

english, 2014

50

[ACM Press the 15th ACM conference - Alexandria, Virginia, USA (2008.10.27-2008.10.31)] Proceedings of the 15th ACM conference on Computer and communications security - CCS '08 - Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach

Küsters, Ralf, Truderung, Tomasz

Year:

2008

Language:

english

File:

PDF, 294 KB

english, 2008